In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

In an unpublished note Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the notions of sequential composition and ‘regenerative values’. His calculus introduces the connective ‘before’ ▹ and an associated modality †, for the storage of objects sequentially reusable. Earlier and independently de Paiva introduced a (collection of) dialectica categorical models for (classical and intuitionistic) Linear Logic, the categories Dial2Set. These categories contain, apart from the structure needed (...) to model linear logic, an extra tensor product functor and an extra comonad structure corresponding to a modality related to the extra tensor product. It is surprising that these works arising from completely different motivations can be related in a meaningful way. In this article, following joint work with Corrêa and Haeusler, we first adapt Reddy's system LLMS providing a commutative version of the connective ‘before’ and its associated modality and then construct a dialectica category on Sets , which we show is a sound model for the modified version of Reddy's the system LLMSc. Moreover, following the work of Tucker, we provide another variant of the Dialectica categories with a non-commutative tensor and its associated modality, which models soundlyLLMS itself. We conclude with some speculation on future applications. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...) technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

Atualmente, biotecnologias são empregadas na forma de protocolos a fim de sincronizar o crescimento folicular e a ovulação, bem como permitir que vacas atuem como receptoras de embriões visando melhorar o potencial genético do rebanho. O objetivo desse estudo foi avaliar o efeito da utilização de implantes intravaginais de progesterona de 1º, 2º e 3º uso no protocolo de transferência de embriões em tempo fixo (TETF) sobre a taxa de prenhez em receptoras girolandas. O experimento ocorreu em uma fazenda localizada (...) no município de São Sebastião do Maranhão (MG). Foram utilizadas 74 vacas submetidas aos seguintes protocolos: No dia 0 (D0) administrou-se 2 ml de 17β-Estradiol e progesterona e foi colocado o implante intravaginal de progesterona. Estes implantes foram colocados de forma aleatória, sendo de 1° uso (grupo 1; n=15), 2° (grupo 2; n=24) ou 3° (grupo 3; n=35).No D8, os implantes foram retirados e administrou-se 2 ml PGF2α; 1,5 ml de eCG e 1 ml de 17β-Estradiol e progesterona. A inovulação dos embriões in vitroo correu no D (16) para todas as vacas que apresentaram um corpo lúteo. As variáveis qualitativas (prenhe ou não prenhe) foram comparadas em tabelas de contingência e analisadas pelo teste de qui-quadrado a 5% de probabilidade. Neste estudo não houve diferença estatística entre os grupos protocolados em relação ao aproveitamento como receptoras: 1º uso (53,3%), 2º (79,2%) e 3º (68,65). Ademais, observou-se uma taxa de prenhez entre os grupos de 37,5% para o 1º uso, 42,1% para o 2º e 33,3% para o 3º (P>0,05). Dentre as vantagens ao reaproveitamento dos implantes multiusos destaca-se a redução dos custos dos protocolos hormonais, já que a progesterona é o hormônio mais oneroso, desta forma, a maximização do uso reduz o valor final do protocolo sem prejuízos a taxa de prenhez. (shrink)

The extent to which game play is experienced as engaging is an important criterion for the playability of video games. This study investigates how video games can be designed towards increased levels of experienced engagement over time. For this purpose, two experiments were conducted in which a total of 35 participants repeatedly played a video game. Results indicate that experienced engagement is based on the extent to which the game provides rich experiences as well as by the extent to which (...) the game provides a sense of control. In view of the influence of both game features and players’ expertise on the levels of experienced richness and control, it is concluded that game features should be modified over time to maintain optimal levels of engagement. (shrink)

The texts of the papers on the philosophy of science read at the Zürich Congress of 1954. The papers vary widely, in scope, quality, approach, doctrinal basis, and subject matter, but the collection as a whole, if a bit bewildering, provides a good survey of the ways in which the philosophy of science is now being practiced and conceived.--V. C. C.

It may soon become possible not just to replace, but to re-grow healthy tissues after injury or disease, because of innovations in the field of Regenerative Medicine. One particularly promising innovation is a regenerative valve implant to treat people with heart valve disease. These implants are fabricated from so-called ‘smart’, ‘lifelike’ materials. Implanted inside a heart, these implants stimulate re-growth of a healthy, living heart valve. While the technological development advances, the ethical implications of this new technology are still unclear (...) and a clear conceptual understanding of the notions ‘smart' and ‘lifelike' is currently lacking. In this paper, we explore the conceptual and ethical implications of the development of smart lifelike materials for the design of regenerative implants, by analysing heart valve implants as a showcase. In our conceptual analysis, we show that the materials are considered ‘smart’ because they can communicate with human tissues, and ‘lifelike’ because they are structurally similar to these tissues. This shows that regenerative valve implants become intimately integrated in the living tissues of the human body. As such, they manifest the ontological entanglement of body and technology. In our ethical analysis, we argue this is ethically significant in at least two ways: It exacerbates the irreversibility of the implantation procedure, and it might affect the embodied experience of the implant recipient. With our conceptual and ethical analysis, we aim to contribute to responsible development of smart lifelike materials and regenerative implants. (shrink)

The distinctive feature of this new edition is its inclusion of the handwritten marginal notes in Hegel's own copy of the Rechtsphilosophie. These were published separately by Lasson in 1914 and again in 1930, but have been re-edited for the present volume, with a number of mistakes corrected. A second volume, now in preparation, is to contain a re-edited set of the Zusätze to Hegel's lectures on Rechtsphilosophie, gathered from the notes of his students. The two volumes together will certainly (...) stand as the definitive source of Hegel's teaching in this area for a long time to come.--V. C. C. (shrink)

A new translation of Parmenides' poem, preceded by a long introduction. M. Beaufret's attitude towards, and interpretation of, the Parmenidean fragments have been influenced heavily by Heidegger, as has, in some cases, his choice of readings. The Greek is included, however, on pages facing the translation, and departures from the standard text of Kranz are noted.--V. C. C.

A close study, paragraph by paragraph and often line by line, of a work crucial to the understanding of Heidegger's thought as a whole. M. Wahl is a conscientious reader and careful interpreter; he exhibits a sympathetic understanding of the Heideggerian method while dissenting at various points from its results, particularly as regards the important Seinsfrage. In general, it is suggested, Heiddegger's Einführung is to be taken not as doctrine or a set of conclusions, but as an exercise, like Plato's (...) Parmenides.--V. C. C. (shrink)

This paper, which gives continuity to another article, analyzes the content of I Dialogus V, 14-22 and, in an appendix, presents our Portuguese translation of this excerpt. In these chapters, the Inceptor Venerabilis discusses whether St. Peter and the Roman Church possess primacy over all other apostles and churches; andwhether this primacy is granted by God himself. Ockham first presents, not ad litteram, the opinion of those who refute the thesis that Christ did not give primacy to Peter and the (...) Roman Church. Then, because this thesis fully deflates papal power, he proposes a contrary thesis based on five proofs. We conclude that Ockham’s unnamed opponent is Marsilius of Padua, whose opinions are in his Defensor Pacis. (shrink)

This article provides ethical guidance on using race in health research as a variable or in defining the study population. To this end, a plain, non-exhaustive checklist is provided for researchers and research ethics committees, preceded by a brief introduction on the need for justification when using race as a variable or in defining a study population, the problem of exoticism, that distinctions pertain between race, ethnicity and ancestry, the problematic naming of races, and that race does not serve well (...) as a presumed biological construct in genetic research. (shrink)

De Wulf's work has been largely supplanted since its first appearance in 1903, but it is still of some use as an introduction and survey. This edition reprints the English translation of 1907. --V. C. C.

With respect to De Dreu and Gross's article, we comment on the psychological functions for attack and defense, focusing on associations between individual differences in psychopathic personality traits and the behavioral patterns observed in attack-defense conflicts. We highlight the dimensional nature of psychopathy and formulate hypothetical associations between distinct traits, their different behavioral outcomes, and associated brain mechanisms.

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Background Reasonable disagreement about the role awarded to gamete donors in decision-making on the use of embryos created by gamete donation for research purposes emphasises the importance of considering the implementation of participatory, adaptive, and trustworthy policies and guidelines for consent procedures. However, the perspectives of gamete donors and recipients about decision-making regarding research with EGDs are still under-researched, which precludes the development of policies and guidelines informed by evidence. This study seeks to explore the views of donors and recipients (...) about who should take part in consent processes for the use of EGDs in research. Methods From July 2017 to June 2018, 72 gamete donors and 175 recipients completed a self-report structured questionnaire at the Portuguese Public Bank of Gametes. Agreement with dual consent was defined as the belief that the use of EGDs in research should be consented by both donors and recipients. Results The majority of participants were willing to donate embryos for research. Almost half of the donors and half of the recipients considered that a dual consent procedure is desirable. This view was more frequent among employed recipients than among non-employed. Donors were less likely to believe that only recipients should be involved in giving consent for the use of EGDs in research and were more frequently favourable to the idea of exclusive donors’ consent. Conclusions Divergent views on dual consent among donors and recipients indicate the need to develop evidence-based and ethically sustainable policies and guidelines to protect well-being, autonomy and reproductive rights of both stakeholder groups. More empirical research and further theoretical normative analyses are needed to inform people-centred policy and guidelines for shared decision-making concerning the use of EGDs for research. (shrink)

Here are the 18 guidance points contained in the UNAIDS document on Ethical Considerations in HIV Preventive Vaccine Research, reproduced by kind permission of the Joint United Nations Programme on HIV/AIDS.